/*
 * Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
 * for details. All rights reserved. Use of this source code is governed by a
 * BSD-style license that can be found in the LICENSE file.
 */
/**
 * @assertion The public namespace of library L is the mapping that maps the simple
 * name of each public top level member m of L to m. The scope of a library L
 * consists of the names introduced by all top level declarations declared in L, and
 * the names added by L's imports.
 * @description Checks that the scope of a library L consist of the names introduced
 * by all top level declaration in L, and the names added by L's import.
 * @author vasya
 * @reviewer rodionov
 * @reviewer msyabro
 */

import "13_Libraries_and_Scripts_A06_t01_lib.dart";

main() {
  test();
}
